Many-Valued Logics for Modeling Vagueness
نویسندگان
چکیده
Many-Valued logics have been developed to represent mathematical model of imprecision, vagueness, uncertainty and ambiguity in the information. In real world each and every species is vague, human knowledge and the natural languages have a bunch of vagueness or imprecise information. This paper attempts to present three main theories of many-valued logics to treat the vagueness: Fuzzy Logic, Vague Logic and Neutrosophic Logic. Author touches the various perspectives logical, algebraic operation, graphical representations and the practical usage. This paper addresses the modeling of vagueness. Author introduces the framework, Vague Inference System (VIS) for modeling the vagueness using vague logic.
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملExploring Paraconsistency in Degree-Preserving Fuzzy Logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. In the last decade, mathematical fuzzy logic has been developed as a discipline studying formal many-valued systems arising from fuzzy set theory. In this paper we study to what extent different systems of fuzzy logic are paraconsistent, identifying which f...
متن کاملjspTIN-2007: Multi-valued Logic: Foundations and application to management of vagueness and imprecision TIN2004-07933-C03
The project had three basic objectives. The first one was the logical and algebraic study of t-norm based many-valued logics in the frame of both residuated and substructural logics. The second one was the formalization, within the framework of the above logics, of several deductive soft computing mechanisms, based on fuzzy logic, to deal with vagueness, uncertainty and imprecision. The last on...
متن کاملA Logic for Reasoning about Fuzzy
| In this paper, we will present a framework for reasoning with vague and uncertain information by fuzzy truth-valued logics. It is shown that possibilistic logic, many-valued logic, and approximate reasoning can all be embodied in the uniform framework.
متن کاملMany-valued logic: beyond algebraic semantics
The last three decades have witnessed major advances in many-valued logic and related fields. The theory of Łukasiewicz logic and Chang’s MV-algebras has flourished, establishing profound connections with other fields of mathematics; Petr Hájek’s framework for mathematical fuzzy logic has met with remarkable success, bringing into focus the central rôle of residuation; and the algebraic analysi...
متن کامل